finite automation recognizable

【计算机】有限自动可识别